Paradis terrestre dans l'automate cellulaire de Conway

De l'oprateur de trace dans les jeux de Conway

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of...

Genèse de la théorie cellulaire

or represent aspects of nature or the language-user's own general or circumstantial experience. In his book Professor Bazerman rarely avoids assuming as obvious the distinction between language and that which language is about, so that statements like the following are typical: "Experimental reports attach themselves to the nature that surrounds the text through the representation of the doings...

Conception et implémentation d'une nouvelle technique cellulaire de discrétisation : intégration dans TANAGRA

Dans le domaine de l′Extraction de Connaissances à partir de Données (ECD), beaucoup de méthodes de fouille de données telles que les règles d’association, les réseaux bayésiens ou les graphes d’induction ne peuvent manipuler que des attributs discrets. Discrétiser un attribut numérique consiste à découper son domaine de valeurs en un nombre fini d’intervalles, qui seront identifiés par un code...

Variation morphologique de la spermathèque chez l’escargot terrestre Cantareus aspersus

Morphological variation of the spermatheca in the garden snail Cantareus aspersus. Spermathecal morphology is known to play an important role in postcopulatory sexual selection of many invertebrates. In helicid land snails, the spermatheca is subdivided into tubules, whose number is sometimes subject to a strong inter-individual variation. Significance of this variation for postcopulatory sexua...

Institut de Génétique et Biologie Moléculaire et Cellulaire: IGBMC.